Searched: \.*
Results from BX12 web

The following contributions were selected (out of 15 submissions) for presentation at the workshop:

  • Anthony Anjorin, Gergely Varro and Andy Schürr. Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques.

    Abstract: Model transformation plays a central role in Model-Driven Engineering (MDE) and providing bidirectional transformation languages is a current challenge with important applications. Triple Graph Grammars (TGGs) are a formally founded, bidirectional model transformation language shown by numerous case studies to be quite promising and successful. Although TGGs provide adequate support for structural aspects via object patterns in production rules, support for handling complex relationships between different attributes is still missing in current implementations. For certain applications, such as bidirectional model-to-text transformations, being able to manipulate attributes via string manipulation or arithmetic operations in TGG production rules is vital. Our contribution in this paper is a novel TGG extension that provides a means for complex attribute manipulation in TGG production rules. Our extension is compatible with the existing TGG formalization, and retains the "single specification" philosophy of TGGs.

  • Jeremy Gibbons and Michael Johnson. Relating Algebraic and Coalgebraic Descriptions of Lenses.

    Abstract: Lenses are a heavily studied form of bidirectional transformation, with diverse applications including database view updating, software development and memory management. Previous work has explored lenses category-theoretically, and established that lenses are isomorphic to algebras for a particular monad on a slice category. It has recently been shown that lenses are the coalgebras for the comonad generated by cartesian closure. We present an equational proof of the coalgebra correspondence, note that the algebra correspondence extends to arbitrary categories with products and that the coalgebra correspondence extends to arbitrary cartesian closed categories, and show that both correspondences extend to isomorphisms of categories. The resulting isomorphism between a category of algebras and a category of coalgebras is unexpected, and we analyze it, isolating its underlying generality, and also the particularity that restricts its applicability.

  • Hugo Pacheco, Alcino Cunha and Zhenjiang Hu. Delta Lenses over Inductive Types.

    Abstract: Existing bidirectional languages are either state-based or operation-based, depending on wether they represent updates as mere states or as sequences of edit operations. In-between both worlds are delta-based frameworks, where updates are represented using alignment relationships between states. In this paper, we formalize delta lenses over inductive types using dependent type theory and develop a point-free delta lens language with an explicit separation of shape and data. In contrast with the already known issue of data alignment, we identify the new problem of shape alignment and solve it by lifting standard recursion patterns such as folds and unfolds to delta lenses that use alignment to infer meaningful shape updates.

  • Vadim Zaytsev. Language Evolution, Metasyntactically.

    Abstract: We use a formal specification for syntactic notations in order to simulate a scenario of notational evolution: a special language evolution case when the language itself is preserved, but the notation which is used to write down its grammar in the documentation, changes, and those changes need to be propagated to coupled grammar refactorings, grammarbase mutations and other connected artefacts. Both the megamodel and the prototypical implementation of this scenario are explained. They employ bidirectional grammar transformation for the purposes of adaptation and convergence, transformable notation specifications and coupled unidirectional grammar mutations.

  • Michael Johnson and Robert Rosebrugh. Lens put-put laws:  Monotonic and mixed.

    Abstract: Since the introduction of very well behaved lenses, several authors have argued, for good reasons, that in many applications the put-put law is too strong. On the other hand, the present authors have shown that such lenses, including the put-put law, are algebras for a certain monad, and that this viewpoint admits fruitful generalisations of the lens concept to a variety of base categories. In the algebra approach to lenses, the put-put law corresponds to the associativity axiom, and so is fundamentally important. Thus we have a dilemma. The put-put law seems inappropriate for a variety of applications, but is fundamental to the mathematical development that can support a range of applications. In this paper we resolve this dilemma. The put-put law as normally stated is indeed too strong when the category of models is non-trivial (not just a set of models). We describe monotonic put-put laws -- those in which successive puts are, loosely speaking, both along deletes, or both along inserts, and note that such laws do not suffer the criticisms of the classical put-put law and incidentally provide a counterexample to the mistaken belief that the presence of put-put laws implies constant complement updating. Of course, of much greater interest than monotonic put-put laws are mixed put-put laws that treat together both inserts and deletes. The main contribution of this paper is the development and analysis of a new mixed put-put law which is very general, is indeed weaker than classical put-put, does not seem to be subject to the criticisms of the classical put-put law, and is sufficient to support the monad based mathematical treatment of generalised lenses.

  • Leen Lambers, Stephan Hildebrandt, Holger Giese and Fernando Orejas. Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case.

    Abstract: When describing bidirectional model transformations in a declarative (relational) way, the relation between structures in source and target models is specified. But not only structural correspondences between source and target models need to be described. Another important aspect is the specification of the relation between attribute values of elements in source and target models. However, existing approaches either do not allow such a relational kind of specification for attributes or allow it only in a restricted way. We consider the challenge of bridging the gap between a flexible declarative attribute specification and its operationalization for the triple graph grammar (TGG) specification technique as an important representative for describing bidirectional model transformations in a relational way. First, we present a formal way to specify attributes in TGG rules in a purely declarative (relational) way. Then, we give an overview of characteristic barriers that bidirectional model transformation tool developers are confronted with when operationalizing relational attribute constraints for different TGG application scenarios. Moreover, we present pragmatic solutions to overcome the operationalization barriers for different TGG application scenarios in our own TGG implementation.

  • Erwann Wernli. Bidirectional transformations meets dynamic updates: promise & perils.

    Abstract: Dynamic updates that transform objects in an unidirectional manner face timing issues that might lead to run-time type errors. A way to avoid such run-time type errors is to keep both versions of objects and synchronize them with bidirectional transformations. Keeping objects synchronized this way raises some challenges in term of performance, thread safety, and practicality. We present implementation strategies and explore the solution space of such an approach. We put theoretical issues into perspective by considering results of existing empirical research in the field, and investigate the use of a simple bidirectional language to express object transformations. We conclude that this scheme can be made practical, and we sketch future research directions to reach this goal.

  • Perdita Stevens. Observations relating to the equivalences induced on model sets by bidirectional transformations.

    Abstract: A bidirectional transformation on a pair of sets of models induces two principal equivalence relations on each set of models. Since a model can be uniquely identified by specifying its equivalence class in each of these relations, they function as a coordinate system for the model sets, with respect to the transformation. We give a collection of results relating to this observation and explore the consequences for the study of the transformation.

Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be databases, software models, documents, graphs, and trees. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. The workshop BX'12 now establishes a dedicated venue for bx in all relevant areas. The methodologies used for bx range from classical program transformation to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject.

Aims and Topics

The aim of the workshop is to bring together researchers, established and new, interested in bidirectional transformations from different perspectives, such as: language-based approaches, software/model transformations, and data/schema co-evolution.

Topics of interest for BX'12 include, but are not limited to:

  • (coupled) software/model transformations
  • software-model synchronization
  • data-schema co-evolution and data synchronization
  • consistency analysis
  • language-based approaches
  • analysis/classification of requirements for bx technologies
  • case studies and tool support
  • comparison of bx technologies
  • efficiency of algorithms and benchmarks

Regular submissions (11-15 pages) can be:

  • research papers providing new concepts and results
  • position papers and research perspectives
  • papers that apply bx in new domains
  • papers closing gaps between formal concepts and application scenarios

We also welcome submissions of short papers as well as abstracts for lightning talks.

Proceedings

Accepted regular papers will appear as a volume of EC-EASST. A preliminary version of the proceedings, including the short papers and lightning talk abstracts as well, will be available at the workshop.

Authors of short papers may be invited to extend their contribution to a full paper for inclusion in the formal proceedings.

Submission Guidelines

Submissions are expected in the following categories:

  • regular papers (11 to 15 pages)
  • short papers (up to 8 pages)
  • lightning talks (extended abstracts)

Submissions can use LNCS or EC-EASST style, but accepted papers will have to be (re-)formatted for EC-EASST style before the camera-ready deadline.

Regarding the EC-EASST style, note that the cover page automatically produced does not count towards the page limits.

Submission will be electronically at https://www.easychair.org/conferences/?conf=bx2012.

Important Dates

  • Abstract submission: Mon, December 19, 2011 (23:59 Samoa Time [UTC-11])
  • Paper submission: Wed, December 21, 2011 (23:59 Samoa Time [UTC-11])
  • Author notification: Tue, January 24, 2012
  • Camera-ready deadline: Sun, February 5, 2012 (23:59 UTC-11, see www.world-time-zones.org)

  • Workshop: Sun, March 25, 2012

Invited Speakers

We are proud to feature the following two invited talks:

  • Juan de Lara (Autonomous University of Madrid, Spain): Bidirectional Transformations with Graphical Constraints. (joint talk with GT-VMT 2012)

    Abstract: Model Driven Engineering (MDE) is a software engineering paradigm that attacks the accidental complexity in the development process by increasing the abstraction level at which engineers work. In this way, models (in contrast to programs) are the core assets, and model transformations become first-class citizens. Still, most current transformation languages are directed to the implementation of model transformations, and little effort is currently devoted to support other phases of the transformation development, like requirements specification or testing.
    In this talk, I will first present a formal language (called PAMOMO) for the specification of model transformations in a declarative, graphical, bidirectional way. The approach is based on patterns or constraints describing the allowed and forbidden relations between two models. Such specification can be compiled into operational mechanisms, based on Graph Transformation, to perform forward and backward transformations. The language has a general semantics, which makes it applicable to several scenarios and activities relevant for MDE, which will be explored in the second part of the talk.
    First, PAMOMO can be used as a general framework supporting inter-modelling, which is the activity of building models that describe how other models should be related. This includes many common activities in MDE, like the specification of model-to-model transformations seen before, but also the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators. Second, PAMOMO can be used as a language for specifying transformation contracts, enabling the verification of transformations implemented with any transformation language. The verification can be performed by compiling the contracts either into OCL expressions, which can then be used as partial oracle functions, or into QVT Relations check-only transformations to detect disconformities of transformation results with respect to the contracts. Finally, the general bi-directional semantics of PAMOMO can be used as a basis to describe other languages, like QVT Relations.

  • Jean-Luc Hainaut (University of Namur, Belgium): Bidirectional Transformations in Database Engineering.

    Abstract: Most processes in database engineering consist in transforming schemas according to definite requirements. Basically, a schema transformation is a rewriting rule that allows schema constructs to be replaced by other constructs that are expected to better meet these requirements. Schema normalization, logical design, schema integration, view derivation, proving schema equivalence, data conversion, database reverse engineering, database evolution, schema optimization, ETL, wrapper generation are some popular database related processes that can be modelled as schema transformations.
    In most cases, schemas have instances, so that parallel data transformation rules are associated with schema transformations in order to adapt the contents of the source database to the new target schema. A transformation is qualified semantics-preserving, or bidirectional, if there exists an inverse transformation through which the source database (schema and instances) can be recovered from the target database. This class of transformations are important in that they guarantee the preservation of information capacity of the source database through an arbitrary chain of transformations. For instance, describing the database design process as a bidirectional transformation ensures that all the user requirements expressed by the conceptual schema have been translated into the physical database. Conversely, modeling database reverse engineering as a chain of (mostly) bidirectional transformations helps in recovering the hidden intended semantics of a physical database.
    In this talk, we briefly recall the principles of database engineering as a specific domain of complex software systems engineering. We then describe basic and practical aspects of database transformation techniques including their properties of semantics preservation. Major database engineering activities are redefined in terms of transformation techniques, and the impact on CASE technology is discussed and illustrated.

Program Committee

Program Chairs

Program Committee Members

----------------------------------------------------------------------
                            Call For Papers 

                     ACM SIGPLAN 2010 Workshop on 
         PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10)

                             Madrid, Spain
                          January, 2010 
                     (Co-located with POPL 2010)

             http://www.program-transformation.org/PEPM10
----------------------------------------------------------------------

The PEPM Symposium/Workshop series aims to bring together researchers
and practitioners working in the areas of program manipulation,
partial evaluation, and program generation. PEPM focuses on
techniques, theory, tools, and applications of analysis and
manipulation of programs.

The 2010 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continue previous years'
successful effort to expand the scope of PEPM significantly beyond the
traditionally covered areas of partial evaluation and specialization
and include practical applications of program transformations such as
refactoring tools, and practical implementation techniques such as
rule-based transformation systems. In addition, the scope of PEPM
covers manipulation and transformations of program and system
representations such as structural and semantic models that occur in
the context of model-driven development. In order to reach out to
practitioners, a separate category of tool demonstration papers will
be solicited.

----------------------------------------------------------------------

Topics of interest for PEPM'10 include, but are not limited to:

 + Program and model manipulation techniques such as transformations
   driven by rules, patterns, or analyses, partial evaluation,
   specialization, program inversion, program composition, slicing, 
   symbolic execution, refactoring, aspect weaving, decompilation, 
   and obfuscation. 

 + Program analysis techniques that are used to drive program/model
   manipulation such as abstract interpretation, static analysis,
   binding-time analysis, dynamic analysis, constraint solving, and
   type systems.

 + Analysis and transformation for programs/models with advanced
   features such as objects, generics, ownership types, aspects,
   reflection, XML type systems, component frameworks, and middleware.

 + Techniques that treat programs/models as data objects including
   meta-programming, generative programming, staged computation, and
   model-driven program generation and transformation.

 + Application of the above techniques including experimental studies,
   engineering needed for scalability, and benchmarking. Examples of
   application domains include legacy program understanding and
   transformation, domain-specific language implementations,
   scientific computing, middleware frameworks and infrastructure
   needed for distributed and web-based applications, resource-limited
   computation, and security.

We especially encourage papers that break new ground including
descriptions of how program/model manipulation tools can be integrated
into realistic software development processes, descriptions of robust
tools capable of effectively handling realistic applications, and new
areas of application such as rapidly evolving systems, distributed and
webbased programming including middleware manipulation, model-driven
development, and on-the-fly program adaptation driven by run-time or
statistical analysis.

----------------------------------------------------------------------

Submission Categories and Guidelines

Regular research papers must not exceed 10 pages in ACM Proceedings
style. Tool demonstration papers must not exceed 4 pages in ACM
Proceedings style, and authors will be expected to present a live
demonstration of the described tool at the workshop. Suggested topics,
evaluation criteria, and writing guidelines for both research tool
demonstration papers will be made available on the PEPM'10 web
site. Papers should be submitted electronically via the workshop web
site. The workshop proceedings will be published in the ACM Digital
Library and selected papers may be invited for a journal special
issue dedicated to PEPM'10.

----------------------------------------------------------------------

Important Dates 

 + to be announced
 + Abstracts due:  
 + Submission:    
 + Notification:   
 + Camera-ready:   
 + Workshop:      January, 2010 

-----------------------------------------------------------------------

Program Chairs

    * John Gallagher (Roskilde University, Denmark)
    * Janis Voigtlaender (Technische Universitaet Dresden, Germany)

Program Committee Members

    * to be announced

-----------------------------------------------------------------------
PEPM 2010 is co-located with POPL 2010.
A flyer to distribute at other events.

First International Workshop on
Bidirectional Transformations (BX 2012)


Sun, March 25, 2012
Tallinn, Estonia
co-located with ETAPS 2012

http://www.program-transformation.org/BX12

BX logo @   ETAPS logo

. Pre-submission of abstracts will no longer be required. -->

Submissions

10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research results and/or experience related to the topics above (PC co-chairs can advise on appropriateness). We particularly encourage original high-quality reports on applying GPCE technologies to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice.

Papers

Acceptance Rate

Participants

  • Abstract submission: Mon, December 19, 2011 (23:59 Samoa Time [UTC-11])
  • Paper submission: Wed, December 21, 2011 (23:59 Samoa Time [UTC-11])
  • Author notification: Tue, January 24, 2012
  • Camera-ready deadline: Sun, February 5, 2012 (23:59 UTC-11, see www.world-time-zones.org)

  • Workshop: Sun, March 25, 2012
We are proud to feature the following two invited talks:

  • Juan de Lara (Autonomous University of Madrid, Spain): Bidirectional Transformations with Graphical Constraints. (joint talk with GT-VMT 2012)

    Abstract: Model Driven Engineering (MDE) is a software engineering paradigm that attacks the accidental complexity in the development process by increasing the abstraction level at which engineers work. In this way, models (in contrast to programs) are the core assets, and model transformations become first-class citizens. Still, most current transformation languages are directed to the implementation of model transformations, and little effort is currently devoted to support other phases of the transformation development, like requirements specification or testing.
    In this talk, I will first present a formal language (called PAMOMO) for the specification of model transformations in a declarative, graphical, bidirectional way. The approach is based on patterns or constraints describing the allowed and forbidden relations between two models. Such specification can be compiled into operational mechanisms, based on Graph Transformation, to perform forward and backward transformations. The language has a general semantics, which makes it applicable to several scenarios and activities relevant for MDE, which will be explored in the second part of the talk.
    First, PAMOMO can be used as a general framework supporting inter-modelling, which is the activity of building models that describe how other models should be related. This includes many common activities in MDE, like the specification of model-to-model transformations seen before, but also the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators. Second, PAMOMO can be used as a language for specifying transformation contracts, enabling the verification of transformations implemented with any transformation language. The verification can be performed by compiling the contracts either into OCL expressions, which can then be used as partial oracle functions, or into QVT Relations check-only transformations to detect disconformities of transformation results with respect to the contracts. Finally, the general bi-directional semantics of PAMOMO can be used as a basis to describe other languages, like QVT Relations.

  • Jean-Luc Hainaut (University of Namur, Belgium): Bidirectional Transformations in Database Engineering.

    Abstract: Most processes in database engineering consist in transforming schemas according to definite requirements. Basically, a schema transformation is a rewriting rule that allows schema constructs to be replaced by other constructs that are expected to better meet these requirements. Schema normalization, logical design, schema integration, view derivation, proving schema equivalence, data conversion, database reverse engineering, database evolution, schema optimization, ETL, wrapper generation are some popular database related processes that can be modelled as schema transformations.
    In most cases, schemas have instances, so that parallel data transformation rules are associated with schema transformations in order to adapt the contents of the source database to the new target schema. A transformation is qualified semantics-preserving, or bidirectional, if there exists an inverse transformation through which the source database (schema and instances) can be recovered from the target database. This class of transformations are important in that they guarantee the preservation of information capacity of the source database through an arbitrary chain of transformations. For instance, describing the database design process as a bidirectional transformation ensures that all the user requirements expressed by the conceptual schema have been translated into the physical database. Conversely, modeling database reverse engineering as a chain of (mostly) bidirectional transformations helps in recovering the hidden intended semantics of a physical database.
    In this talk, we briefly recall the principles of database engineering as a specific domain of complex software systems engineering. We then describe basic and practical aspects of database transformation techniques including their properties of semantics preservation. Major database engineering activities are redefined in terms of transformation techniques, and the impact on CASE technology is discussed and illustrated.
Subscribe at

The mailing list is moderated and used to announce events of interest to the PEPM community.

Important Dates

  • Abstract submission: Mon, December 19, 2011 (23:59 Samoa Time [UTC-11])
  • Paper submission: Wed, December 21, 2011 (23:59 Samoa Time [UTC-11])
  • Author notification: Tue, January 24, 2012
  • Camera-ready deadline: Sun, February 5, 2012 (23:59 UTC-11, see www.world-time-zones.org)

  • Workshop: Sun, March 25, 2012

details about the venue will follow later
Steering Committee 25 Jun 2012 - 11:08 Janis Voigtlaender
Program Committee 25 Jun 2012 - 10:58 Janis Voigtlaender
Call For Papers 25 Jun 2012 - 10:56 Janis Voigtlaender
Program 17 Apr 2012 - 10:39 Janis Voigtlaender
Accepted Papers 23 Mar 2012 - 13:18 Janis Voigtlaender
Invited Talks 10 Feb 2012 - 05:25 Janis Voigtlaender
Important Dates 02 Jan 2012 - 08:21 Frank Hermann
Adjacent Meetings 06 Dec 2011 - 20:59 Janis Voigtlaender
Submission Guidelines 06 Dec 2011 - 20:32 Frank Hermann
Web Home 29 Oct 2011 - 06:54 Janis Voigtlaender
Web Left Bar 29 Oct 2011 - 06:05 Janis Voigtlaender
Web News 11 Sep 2011 - 18:09 Janis Voigtlaender
Twitter Test 11 Sep 2011 - 17:28 Frank Hermann
Publication Venue 07 Sep 2011 - 19:51 Janis Voigtlaender
Aims And Topics 07 Sep 2011 - 19:17 Janis Voigtlaender
Web Preferences 19 Aug 2011 - 06:18 Janis Voigtlaender
Conference Header 27 Jul 2011 - 00:01 Janis Voigtlaender
Previous Meetings 25 Jul 2011 - 12:12 Janis Voigtlaender
Registration And Accomodation 24 Jul 2011 - 11:52 Janis Voigtlaender
Workshop Venue 24 Jul 2011 - 11:51 Janis Voigtlaender
Affiliated Meetings 29 Apr 2011 - 10:20 Janis Voigtlaender
Paper Submission 03 Apr 2011 - 18:29 Janis Voigtlaender
Historical Statistics 18 Mar 2010 - 23:47 Janis Voigtlaender
Web Statistics 07 Feb 2010 - 19:42 Janis Voigtlaender
Tentative Schedule 09 Dec 2009 - 08:55 Janis Voigtlaender
Special Feature 18 Nov 2009 - 17:21 Janis Voigtlaender
Preliminary Program 12 Nov 2009 - 17:18 Janis Voigtlaender
Tool Paper Advice 17 Jul 2009 - 07:39 Janis Voigtlaender
Research Paper Advice 16 Jul 2009 - 10:58 Janis Voigtlaender
Co-locatedMeetings 18 Jun 2009 - 12:28 Janis Voigtlaender
Conference Organization 28 May 2009 - 08:56 Janis Voigtlaender
PEPMProgram 28 May 2009 - 08:53 Janis Voigtlaender
Call For Papers Text 28 May 2009 - 07:24 Janis Voigtlaender
PEPMPublicity 07 Oct 2007 - 23:23 Robert Glueck
PEPMNews 27 Jul 2007 - 17:18 Robert Glueck
Web Notify 22 Jul 2007 - 23:56 Robert Glueck
Travel Info 22 Jul 2007 - 20:38 Robert Glueck
Electronic Submission 22 Jul 2007 - 20:17 Robert Glueck
Tutorial Guideline 22 Jul 2007 - 20:12 Robert Glueck
Publicity List 06 19 Jan 2006 - 21:58 Emir Pasalic
Tutorials And Workshops 19 Jan 2006 - 18:57 Todd Veldhuizen
Conference Flyer 14 Jan 2006 - 01:18 Emir Pasalic
Conference Program 13 Jan 2006 - 21:46 Emir Pasalic
Venuehtml 13 Jan 2006 - 21:46 Emir Pasalic
Conference Registration 13 Jan 2006 - 21:46 Emir Pasalic
Submission Format 28 Oct 2005 - 10:04 Christa Schwanninger
Web Changes 05 Dec 2004 - 11:28 Martin Bravenboer
Print Call 05 Jan 2004 - 23:38 Eelco Visser
Web Changes 500 23 Apr 2002 - 20:09 Eelco Visser
Web Changes 200 23 Apr 2002 - 20:05 Eelco Visser
Number of topics: 50
Topic Changed By
SteeringCommittee? 25 Jun 2012 - 11:08 JanisVoigtlaender
ProgramCommittee? 25 Jun 2012 - 10:58 JanisVoigtlaender
CallForPapers? 25 Jun 2012 - 10:56 JanisVoigtlaender
Program? 17 Apr 2012 - 10:39 JanisVoigtlaender
AcceptedPapers? 23 Mar 2012 - 13:18 JanisVoigtlaender
InvitedTalks? 10 Feb 2012 - 05:25 JanisVoigtlaender
ImportantDates? 02 Jan 2012 - 08:21 FrankHermann
AdjacentMeetings? 06 Dec 2011 - 20:59 JanisVoigtlaender
SubmissionGuidelines? 06 Dec 2011 - 20:32 FrankHermann
WebHome 29 Oct 2011 - 06:54 JanisVoigtlaender
WebLeftBar 29 Oct 2011 - 06:05 JanisVoigtlaender
WebNews 11 Sep 2011 - 18:09 JanisVoigtlaender
TwitterTest? 11 Sep 2011 - 17:28 FrankHermann
PublicationVenue? 07 Sep 2011 - 19:51 JanisVoigtlaender
AimsAndTopics? 07 Sep 2011 - 19:17 JanisVoigtlaender
WebPreferences 19 Aug 2011 - 06:18 JanisVoigtlaender
ConferenceHeader? 27 Jul 2011 - 00:01 JanisVoigtlaender
PreviousMeetings? 25 Jul 2011 - 12:12 JanisVoigtlaender
RegistrationAndAccomodation? 24 Jul 2011 - 11:52 JanisVoigtlaender
WorkshopVenue? 24 Jul 2011 - 11:51 JanisVoigtlaender
AffiliatedMeetings? 29 Apr 2011 - 10:20 JanisVoigtlaender
PaperSubmission? 03 Apr 2011 - 18:29 JanisVoigtlaender
HistoricalStatistics? 18 Mar 2010 - 23:47 JanisVoigtlaender
WebStatistics 07 Feb 2010 - 19:42 JanisVoigtlaender
TentativeSchedule? 09 Dec 2009 - 08:55 JanisVoigtlaender
SpecialFeature? 18 Nov 2009 - 17:21 JanisVoigtlaender
PreliminaryProgram? 12 Nov 2009 - 17:18 JanisVoigtlaender
ToolPaperAdvice? 17 Jul 2009 - 07:39 JanisVoigtlaender
ResearchPaperAdvice? 16 Jul 2009 - 10:58 JanisVoigtlaender
Co-locatedMeetings? 18 Jun 2009 - 12:28 JanisVoigtlaender
ConferenceOrganization? 28 May 2009 - 08:56 JanisVoigtlaender
PEPMProgram? 28 May 2009 - 08:53 JanisVoigtlaender
CallForPapersText? 28 May 2009 - 07:24 JanisVoigtlaender
PEPMPublicity? 07 Oct 2007 - 23:23 RobertGlueck
PEPMNews? 27 Jul 2007 - 17:18 RobertGlueck
WebNotify 22 Jul 2007 - 23:56 RobertGlueck
TravelInfo? 22 Jul 2007 - 20:38 RobertGlueck
ElectronicSubmission? 22 Jul 2007 - 20:17 RobertGlueck
TutorialGuideline? 22 Jul 2007 - 20:12 RobertGlueck
PublicityList06? 19 Jan 2006 - 21:58 EmirPasalic
TutorialsAndWorkshops? 19 Jan 2006 - 18:57 ToddVeldhuizen
ConferenceFlyer? 14 Jan 2006 - 01:18 EmirPasalic
ConferenceProgram? 13 Jan 2006 - 21:46 EmirPasalic
Venuehtml? 13 Jan 2006 - 21:46 EmirPasalic
ConferenceRegistration? 13 Jan 2006 - 21:46 EmirPasalic
SubmissionFormat? 28 Oct 2005 - 10:04 ChristaSchwanninger
WebChanges 05 Dec 2004 - 11:28 MartinBravenboer
PrintCall? 05 Jan 2004 - 23:38 EelcoVisser
WebChanges500 23 Apr 2002 - 20:09 EelcoVisser
WebChanges200 23 Apr 2002 - 20:05 EelcoVisser
WebChanges100 23 Apr 2002 - 19:53 EelcoVisser
WebIndex 23 Jan 2002 - 14:20 EelcoVisser
WebTools 08 Nov 2001 - 09:49 TWikiGuest
WebSearch 08 Aug 2001 - 05:26 PeterThoeny
Topic Changed By
SteeringCommittee? 25 Jun 2012 - 11:08 JanisVoigtlaender
ProgramCommittee? 25 Jun 2012 - 10:58 JanisVoigtlaender
CallForPapers? 25 Jun 2012 - 10:56 JanisVoigtlaender
Program? 17 Apr 2012 - 10:39 JanisVoigtlaender
AcceptedPapers? 23 Mar 2012 - 13:18 JanisVoigtlaender
InvitedTalks? 10 Feb 2012 - 05:25 JanisVoigtlaender
ImportantDates? 02 Jan 2012 - 08:21 FrankHermann
AdjacentMeetings? 06 Dec 2011 - 20:59 JanisVoigtlaender
SubmissionGuidelines? 06 Dec 2011 - 20:32 FrankHermann
WebHome 29 Oct 2011 - 06:54 JanisVoigtlaender
WebLeftBar 29 Oct 2011 - 06:05 JanisVoigtlaender
WebNews 11 Sep 2011 - 18:09 JanisVoigtlaender
TwitterTest? 11 Sep 2011 - 17:28 FrankHermann
PublicationVenue? 07 Sep 2011 - 19:51 JanisVoigtlaender
AimsAndTopics? 07 Sep 2011 - 19:17 JanisVoigtlaender
WebPreferences 19 Aug 2011 - 06:18 JanisVoigtlaender
ConferenceHeader? 27 Jul 2011 - 00:01 JanisVoigtlaender
PreviousMeetings? 25 Jul 2011 - 12:12 JanisVoigtlaender
RegistrationAndAccomodation? 24 Jul 2011 - 11:52 JanisVoigtlaender
WorkshopVenue? 24 Jul 2011 - 11:51 JanisVoigtlaender
AffiliatedMeetings? 29 Apr 2011 - 10:20 JanisVoigtlaender
PaperSubmission? 03 Apr 2011 - 18:29 JanisVoigtlaender
HistoricalStatistics? 18 Mar 2010 - 23:47 JanisVoigtlaender
WebStatistics 07 Feb 2010 - 19:42 JanisVoigtlaender
TentativeSchedule? 09 Dec 2009 - 08:55 JanisVoigtlaender
SpecialFeature? 18 Nov 2009 - 17:21 JanisVoigtlaender
PreliminaryProgram? 12 Nov 2009 - 17:18 JanisVoigtlaender
ToolPaperAdvice? 17 Jul 2009 - 07:39 JanisVoigtlaender
ResearchPaperAdvice? 16 Jul 2009 - 10:58 JanisVoigtlaender
Co-locatedMeetings? 18 Jun 2009 - 12:28 JanisVoigtlaender
ConferenceOrganization? 28 May 2009 - 08:56 JanisVoigtlaender
PEPMProgram? 28 May 2009 - 08:53 JanisVoigtlaender
CallForPapersText? 28 May 2009 - 07:24 JanisVoigtlaender
PEPMPublicity? 07 Oct 2007 - 23:23 RobertGlueck
PEPMNews? 27 Jul 2007 - 17:18 RobertGlueck
WebNotify 22 Jul 2007 - 23:56 RobertGlueck
TravelInfo? 22 Jul 2007 - 20:38 RobertGlueck
ElectronicSubmission? 22 Jul 2007 - 20:17 RobertGlueck
TutorialGuideline? 22 Jul 2007 - 20:12 RobertGlueck
PublicityList06? 19 Jan 2006 - 21:58 EmirPasalic
TutorialsAndWorkshops? 19 Jan 2006 - 18:57 ToddVeldhuizen
ConferenceFlyer? 14 Jan 2006 - 01:18 EmirPasalic
ConferenceProgram? 13 Jan 2006 - 21:46 EmirPasalic
Venuehtml? 13 Jan 2006 - 21:46 EmirPasalic
ConferenceRegistration? 13 Jan 2006 - 21:46 EmirPasalic
SubmissionFormat? 28 Oct 2005 - 10:04 ChristaSchwanninger
WebChanges 05 Dec 2004 - 11:28 MartinBravenboer
PrintCall? 05 Jan 2004 - 23:38 EelcoVisser
WebChanges500 23 Apr 2002 - 20:09 EelcoVisser
WebChanges200 23 Apr 2002 - 20:05 EelcoVisser
WebChanges100 23 Apr 2002 - 19:53 EelcoVisser
WebIndex 23 Jan 2002 - 14:20 EelcoVisser
WebTools 08 Nov 2001 - 09:49 TWikiGuest
WebSearch 08 Aug 2001 - 05:26 PeterThoeny
Topic Changed By
SteeringCommittee? 25 Jun 2012 - 11:08 JanisVoigtlaender
ProgramCommittee? 25 Jun 2012 - 10:58 JanisVoigtlaender
CallForPapers? 25 Jun 2012 - 10:56 JanisVoigtlaender
Program? 17 Apr 2012 - 10:39 JanisVoigtlaender
AcceptedPapers? 23 Mar 2012 - 13:18 JanisVoigtlaender
InvitedTalks? 10 Feb 2012 - 05:25 JanisVoigtlaender
ImportantDates? 02 Jan 2012 - 08:21 FrankHermann
AdjacentMeetings? 06 Dec 2011 - 20:59 JanisVoigtlaender
SubmissionGuidelines? 06 Dec 2011 - 20:32 FrankHermann
WebHome 29 Oct 2011 - 06:54 JanisVoigtlaender
WebLeftBar 29 Oct 2011 - 06:05 JanisVoigtlaender
WebNews 11 Sep 2011 - 18:09 JanisVoigtlaender
TwitterTest? 11 Sep 2011 - 17:28 FrankHermann
PublicationVenue? 07 Sep 2011 - 19:51 JanisVoigtlaender
AimsAndTopics? 07 Sep 2011 - 19:17 JanisVoigtlaender
WebPreferences 19 Aug 2011 - 06:18 JanisVoigtlaender
ConferenceHeader? 27 Jul 2011 - 00:01 JanisVoigtlaender
PreviousMeetings? 25 Jul 2011 - 12:12 JanisVoigtlaender
RegistrationAndAccomodation? 24 Jul 2011 - 11:52 JanisVoigtlaender
WorkshopVenue? 24 Jul 2011 - 11:51 JanisVoigtlaender
AffiliatedMeetings? 29 Apr 2011 - 10:20 JanisVoigtlaender
PaperSubmission? 03 Apr 2011 - 18:29 JanisVoigtlaender
HistoricalStatistics? 18 Mar 2010 - 23:47 JanisVoigtlaender
WebStatistics 07 Feb 2010 - 19:42 JanisVoigtlaender
TentativeSchedule? 09 Dec 2009 - 08:55 JanisVoigtlaender
SpecialFeature? 18 Nov 2009 - 17:21 JanisVoigtlaender
PreliminaryProgram? 12 Nov 2009 - 17:18 JanisVoigtlaender
ToolPaperAdvice? 17 Jul 2009 - 07:39 JanisVoigtlaender
ResearchPaperAdvice? 16 Jul 2009 - 10:58 JanisVoigtlaender
Co-locatedMeetings? 18 Jun 2009 - 12:28 JanisVoigtlaender
ConferenceOrganization? 28 May 2009 - 08:56 JanisVoigtlaender
PEPMProgram? 28 May 2009 - 08:53 JanisVoigtlaender
CallForPapersText? 28 May 2009 - 07:24 JanisVoigtlaender
PEPMPublicity? 07 Oct 2007 - 23:23 RobertGlueck
PEPMNews? 27 Jul 2007 - 17:18 RobertGlueck
WebNotify 22 Jul 2007 - 23:56 RobertGlueck
TravelInfo? 22 Jul 2007 - 20:38 RobertGlueck
ElectronicSubmission? 22 Jul 2007 - 20:17 RobertGlueck
TutorialGuideline? 22 Jul 2007 - 20:12 RobertGlueck
PublicityList06? 19 Jan 2006 - 21:58 EmirPasalic
TutorialsAndWorkshops? 19 Jan 2006 - 18:57 ToddVeldhuizen
ConferenceFlyer? 14 Jan 2006 - 01:18 EmirPasalic
ConferenceProgram? 13 Jan 2006 - 21:46 EmirPasalic
Venuehtml? 13 Jan 2006 - 21:46 EmirPasalic
ConferenceRegistration? 13 Jan 2006 - 21:46 EmirPasalic
SubmissionFormat? 28 Oct 2005 - 10:04 ChristaSchwanninger
WebChanges 05 Dec 2004 - 11:28 MartinBravenboer
PrintCall? 05 Jan 2004 - 23:38 EelcoVisser
WebChanges500 23 Apr 2002 - 20:09 EelcoVisser
WebChanges200 23 Apr 2002 - 20:05 EelcoVisser
WebChanges100 23 Apr 2002 - 19:53 EelcoVisser
WebIndex 23 Jan 2002 - 14:20 EelcoVisser
WebTools 08 Nov 2001 - 09:49 TWikiGuest
WebSearch 08 Aug 2001 - 05:26 PeterThoeny
First International Workshop on
Bidirectional Transformations (BX 2012)


Sun, March 25, 2012
Tallinn, Estonia
co-located with ETAPS 2012

http://www.program-transformation.org/BX12

BX logo @   ETAPS logo

Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be databases, software models, documents, graphs, and trees. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. The workshop BX'12 now establishes a dedicated venue for bx in all relevant areas. The methodologies used for bx range from classical program transformation to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject.

Aims and Topics

The aim of the workshop is to bring together researchers, established and new, interested in bidirectional transformations from different perspectives, such as: language-based approaches, software/model transformations, and data/schema co-evolution.

Topics of interest for BX'12 include, but are not limited to:

  • (coupled) software/model transformations
  • software-model synchronization
  • data-schema co-evolution and data synchronization
  • consistency analysis
  • language-based approaches
  • analysis/classification of requirements for bx technologies
  • case studies and tool support
  • comparison of bx technologies
  • efficiency of algorithms and benchmarks

Regular submissions (11-15 pages) can be:

  • research papers providing new concepts and results
  • position papers and research perspectives
  • papers that apply bx in new domains
  • papers closing gaps between formal concepts and application scenarios

We also welcome submissions of short papers as well as abstracts for lightning talks.

Proceedings

Accepted regular papers will appear as a volume of EC-EASST. A preliminary version of the proceedings, including the short papers and lightning talk abstracts as well, will be available at the workshop.

Authors of short papers may be invited to extend their contribution to a full paper for inclusion in the formal proceedings.

Submissions can use LNCS or EC-EASST style. See the submission guidelines for details.

Follow this link for the complete Call for Papers. There is also a more compact PDF version.

  • Set PAPERNOTIFICATION = Tue, January 24, 2012
  • Set PAPERCAMERAREADY = Sun, February 5, 2012
    • Set EARLYREGISTRATION = ??, 2007
    • Set LATEREGISTRATION = ??, 2007

    • Set CONFERENCEDAYS = Sun, March 25, 2012

    • Set VENUE = Tallinn, Estonia

    Preferences:

    • Set WEBTITLE = First International Workshop on Bidirectional Transformations (2012)
    • Set SHORTWEBTITLE = BX2012

    • Web specific background color: (Pick a lighter one of the StandardColors)
      • Set WEBBGCOLOR = #D0D0D0

    • Exclude web from a web="all" search: (Set to on for hidden webs)
      • Set NOSEARCHALL =

    • Default template for new topics and form(s) for this web:
      • WebTopicEditTemplate?: Default template for new topics in this web. (Site-level is used if topic does not exist)
      • TWiki.WebTopicEditTemplate: Site-level default template
      • TWikiForms: How to enable form(s)
      • Set WEBFORMS =

    • Users or groups who are not / are allowed to view / change / rename topics in the BX12 web: (See TWikiAccessControl)
      • Set DENYWEBVIEW =
      • Set ALLOWWEBVIEW =
      • Set DENYWEBCHANGE =
      • Set ALLOWWEBCHANGE = BxGroup
      • Set DENYWEBRENAME =
      • Set ALLOWWEBRENAME = BxGroup

    • Web preferences that are not allowed to be overridden by user preferences:
      • Set FINALPREFERENCES = WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

    Notes:

    • A preference is defined as:
      6 spaces * Set NAME = value
      Example:
      • Set WEBBGCOLOR = #FFFFC0
    • Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
      • When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0 .
    • The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
    • You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).

    Related Topics:


    Number of topics: 0

    • Jump to topic: If you already know the name of the topic, enter the name of the topic into the GoBox at the top

    • WebChanges: Find out what topics in BX12 have changed recently

    HistoricalStatistics for TWiki.BX12 Web

    Month: Topic
    views:
    Topic
    saves:
    File
    uploads:
    Most popular
    topic views:
    Top contributors for
    topic save and uploads:
    Feb 2008 2643 0 0 512 WebStatistics
    302 WebHome
    103 WebPreferences
    102 WebNews
    102 PEPMPublicity
    102 PEPMProgram
     75 ProgramCommittee
     70 CallForPapers
     63 PaperSubmission
     63 ImportantDates
     63 PreviousMeetings
     
    Jan 2008 9554 0 0 1433 WebHome
    786 WebStatistics
    660 PEPMProgram
    433 ProgramCommittee
    361 PEPMPublicity
    291 WebNews
    283 PreviousMeetings
    283 RegistrationAndAccomodation
    265 PaperSubmission
    265 ImportantDates
    260 InvitedTalks
     
    Dec 2007 7197 33 0 1314 WebHome
    573 PEPMProgram
    329 WebStatistics
    304 ProgramCommittee
    267 WebNews
    254 PEPMPublicity
    233 AcceptedPapers
    213 PaperSubmission
    204 InvitedTalks
    201 RegistrationAndAccomodation
    195 PreviousMeetings
     32 RobertGlueck
      1 OegeDeMoor
    Nov 2007 8164 17 0 1673 WebHome
    430 WebStatistics
    374 AcceptedPapers
    344 ImportantDates
    335 ProgramCommittee
    300 WebNews
    275 PEPMProgram
    267 RegistrationAndAccomodation
    266 PaperSubmission
    255 InvitedTalks
    247 PEPMPublicity
     17 RobertGlueck
    Oct 2007 8900 21 1 2412 WebHome
    822 PaperSubmission
    709 ImportantDates
    565 CallForPapers
    440 ProgramCommittee
    369 ResearchPaperAdvice
    232 ToolPaperAdvice
    217 PEPMPublicity
    197 InvitedTalks
    196 WebNews
    196 PreviousMeetings
     22 RobertGlueck
    Sep 2007 7368 3 0 1582 WebHome
    443 CallForPapers
    404 ImportantDates
    375 PaperSubmission
    358 ProgramCommittee
    332 WebStatistics
    254 PEPMPublicity
    236 PreviousMeetings
    228 ResearchPaperAdvice
    200 InvitedTalks
    198 RegistrationAndAccomodation
      3 RobertGlueck
    Aug 2007 12282 74 10 2082 WebHome
    833 ProgramCommittee
    744 WebStatistics
    741 CallForPapers
    573 ImportantDates
    513 PEPMPublicity
    433 PaperSubmission
    416 PEPMProgram
    409 PreviousMeetings
    383 ResearchPaperAdvice
    341 ConferenceOrganization
     81 RobertGlueck
      3 OegeDeMoor
    Jul 2007 3115 144 0 405 WebHome
    216 ProgramCommittee
    159 PreviousMeetings
    154 CallForPapers
    150 WebStatistics
    132 ImportantDates
    117 PEPMNews
    112 WebIndex
     99 PEPMPublicity
     96 ConferenceOrganization
     80 ResearchPaperAdvice
    144 RobertGlueck
    Jun 2007 5518 0 0 673 WebHome
    316 WebStatistics
    235 PEPMProgram
    172 PreviousMeetings
    154 WebNews
    153 WorkshopVenue
    146 ProgramCommittee
    142 PaperSubmission
    134 PEPMPublicity
    131 AffiliatedMeetings
    130 AcceptedPapers
     
    May 2007 4489 0 0 530 WebHome
    524 WebStatistics
    202 PEPMProgram
    126 PEPMPublicity
    116 WebNews
    115 PreviousMeetings
    113 ProgramCommittee
    110 PaperSubmission
    107 RegistrationAndAccomodation
     98 AffiliatedMeetings
     98 WorkshopVenue
     
    Apr 2007 4460 0 0 606 WebHome
    358 WebStatistics
    172 PEPMProgram
    135 ProgramCommittee
    121 WebNews
    121 PEPMPublicity
    121 ToolPaperAdvice
    119 PreviousMeetings
    115 CallForPapers
    109 PaperSubmission
    105 WebChanges
     
    Mar 2007 4825 0 0 593 WebHome
    454 WebStatistics
    202 PEPMProgram
    152 ProgramCommittee
    128 WebNews
    118 PublicityList06
    116 PaperSubmission
    110 AffiliatedMeetings
    109 ResearchPaperAdvice
    108 WebChanges
    103 PreviousMeetings
     
    Feb 2007 4464 0 0 661 WebHome
    344 WebStatistics
    261 PEPMProgram
    158 WebNews
    158 ProgramCommittee
    128 PaperSubmission
    123 AffiliatedMeetings
    119 ResearchPaperAdvice
    118 CallForPapers
    116 PEPMPublicity
    108 ToolPaperAdvice
     
    Jan 2007 5169 7 0 1040 WebHome
    612 WebStatistics
    462 PEPMProgram
    188 ProgramCommittee
    148 WebNews
    133 PEPMPublicity
    123 AffiliatedMeetings
    114 CallForPapers
    113 AcceptedPapers
    112 PaperSubmission
    111 ResearchPaperAdvice
      7 EelcoVisser
    Dec 2006 4452 17 0 1122 WebHome
    398 PEPMProgram
    164 ProgramCommittee
    140 AcceptedPapers
    134 RegistrationAndAccomodation
    126 ResearchPaperAdvice
    118 WebStatistics
    115 ImportantDates
    114 CallForPapers
    101 WebNews
     98 ToolPaperAdvice
     17 EelcoVisser
    Nov 2006 3436 5 0 782 WebHome
    223 WebStatistics
    154 ProgramCommittee
    141 ImportantDates
    136 ResearchPaperAdvice
    125 CallForPapers
    106 ToolPaperAdvice
     97 PEPMProgram
     88 AffiliatedMeetings
     88 InvitedTalks
     83 PEPMPublicity
      5 EelcoVisser
    Oct 2006 3880 8 0 1065 WebHome
    262 ImportantDates
    252 CallForPapers
    201 PaperSubmission
    162 ProgramCommittee
    134 ResearchPaperAdvice
    121 WebStatistics
    111 PEPMPublicity
    101 PreviousMeetings
     91 ToolPaperAdvice
     91 AffiliatedMeetings
      8 EelcoVisser
    Sep 2006 2926 5 0 650 WebHome
    176 CallForPapers
    146 ImportantDates
    136 WebStatistics
    116 ProgramCommittee
     95 ResearchPaperAdvice
     82 PEPMPublicity
     76 InvitedTalks
     72 PaperSubmission
     69 PreviousMeetings
     67 ToolPaperAdvice
      5 EelcoVisser
    Aug 2006 4938 0 0 786 WebHome
    268 CallForPapers
    213 WebStatistics
    195 ProgramCommittee
    176 PaperSubmission
    171 WebChanges
    155 ImportantDates
    151 PEPMPublicity
    148 PreviousMeetings
    131 WebNotify
    124 PEPMProgram
     
    Jul 2006 7014 0 0 868 WebHome
    350 ProgramCommittee
    337 WebStatistics
    334 CallForPapers
    235 PaperSubmission
    213 PreviousMeetings
    206 PEPMPublicity
    194 ImportantDates
    189 WebChanges
    180 WebNotify
    175 RegistrationAndAccomodation
     
    Jun 2006 4150 29 2 827 WebHome
    261 CallForPapers
    233 ProgramCommittee
    164 WebStatistics
    159 ImportantDates
    136 PreviousMeetings
    125 ResearchPaperAdvice
    119 PaperSubmission
    116 WebChanges
    114 PEPMPublicity
    104 RegistrationAndAccomodation
     31 EelcoVisser
    May 2006 2620 80 0 427 WebHome
    138 ProgramCommittee
    138 CallForPapers
    103 PreviousMeetings
    103 ImportantDates
     78 WorkshopVenue
     77 ResearchPaperAdvice
     74 WebChanges
     72 WebLeftBar
     69 WebNotify
     69 AffiliatedMeetings
     80 EelcoVisser
    Apr 2006 15023 8 0 3330 WebHome
    1250 CallForPapers
    781 WebStatistics
    571 ImportantDates
    504 ConferenceOrganization
    486 CallForTutorials?
    468 CallForDemonstrations?
    443 CallForWorkshops?
    414 WebNews
    397 ElectronicSubmission
    393 WebChanges
      8 ToddVeldhuizen
    Mar 2006 10528 1 0 2345 WebHome
    871 CallForPapers
    667 WebStatistics
    376 ImportantDates
    343 CallForTutorials?
    325 CallForWorkshops?
    325 ConferenceOrganization
    310 WebNews
    263 CallForDemonstrations?
    255 WebChanges
    244 WebPreferences
      1 EelcoVisser
    Feb 2006 6534 0 0 1541 WebHome
    550 CallForPapers
    397 WebStatistics
    258 ImportantDates
    235 CallForTutorials?
    226 ConferenceOrganization
    215 CallForDemonstrations?
    212 CallForWorkshops?
    200 WebNews
    139 WebLeftBar
    129 WebPreferences
     
    Jan 2006 6593 129 5 1553 WebHome
    494 CallForPapers
    422 WebStatistics
    315 ImportantDates
    240 WebNews
    223 ConferenceOrganization
    219 CallForTutorials?
    197 WebPreferences
    191 CallForWorkshops?
    187 WebLeftBar
    152 WebChanges
    116 EmirPasalic
     17 ToddVeldhuizen
      1 ChristaSchwanninger
    Dec 2005 5873 38 0 1603 WebHome
    535 WebStatistics
    292 WebNews
    246 CallForPapers
    230 WebLeftBar
    204 WebPreferences
    194 ImportantDates
    179 ConferenceHeader
    166 WebIndex
    160 CallForTutorials?
    156 PEPMNews
     37 EmirPasalic
      1 ChristaSchwanninger
    Nov 2005 3943 0 0 868 WebStatistics
    849 WebHome
    147 WebLeftBar
    144 WebNews
    127 ImportantDates
    126 WebPreferences
    116 WebChanges
    114 CallForPapers
    109 ConferenceOrganization
    105 WebNotify
     92 PEPMNews
     
    Oct 2005 3209 33 0 932 WebHome
    175 WebNews
    127 WebChanges
    126 WebPreferences
    118 PEPMNews
    115 WebLeftBar
    111 ImportantDates
    110 WebNotify
    105 WebStatistics
    101 ConferenceHeader
     99 WebIndex
     31 ChristaSchwanninger
      2 EugenioMoggi
    Sep 2005 1290 18 2 361 WebHome
     73 WebNews
     55 WebIndex
     46 WebNotify
     46 WebChanges
     41 PEPMNews
     39 WebChanges500
     38 WebSearch
     38 CallForPapers
     37 WebPreferences
     36 WebChanges100
     17 EelcoVisser
      3 PradeepikaIrangani
    Aug 2005 1526 32 1 481 WebHome
    147 WebStatistics
     94 ConferenceHeader
     86 WebIndex
     84 WebNews
     75 WebPreferences
     69 WebChanges
     59 PEPMNews
     51 WebNotify
     49 WebLeftBar
     43 WebSearch
     20 EelcoVisser
      7 MartinBravenboer
      5 StanJarzabek
      1 PradeepikaIrangani
    Jul 2005 1191 0 0 389 WebHome
    102 WebNews
     74 WebIndex
     73 WebChanges
     68 WebStatistics
     67 PEPMNews
     57 ConferenceHeader
     52 WebSearch
     50 WebNotify
     50 WebChanges500
     49 WebChanges200
     
    Jun 2005 923 0 0 375 WebHome
     86 WebNews
     68 WebStatistics
     57 WebChanges
     46 PEPMNews
     45 WebNotify
     42 WebIndex
     39 WebSearch
     37 ConferenceHeader
     26 WebLeftBar
     24 WebChanges500
     
    May 2005 848 7 0 371 WebHome
     53 WebNews
     51 WebStatistics
     45 ConferenceHeader
     42 PEPMNews
     38 WebChanges
     33 WebIndex
     31 WebSearch
     26 WebPreferences
     24 WebNotify
     24 WebLeftBar
      7 EelcoVisser
    Apr 2005 6648 36 0 2409 WebHome
    975 CallForPapers
    638 ElectronicSubmission
    298 GpceTutorialsAndWorkshops?
    242 ImportantDates
    181 ConferenceOrganization
    148 CallForDemonstrations?
    130 CallForWorkshops?
    110 YoungResearchers?
    102 GraphModelTransformations?
     93 CallForTutorials?
     23 AndrewMalton
     10 EugenioMoggi
      2 RobertGlueck
      1 EelcoVisser
    Mar 2005 4848 35 1 2091 WebHome
    696 CallForPapers
    202 ImportantDates
    178 ElectronicSubmission
    153 ConferenceOrganization
    152 CallForDemonstrations?
    132 CallForWorkshops?
    131 GpceTutorialsAndWorkshops?
    106 CallForTutorials?
     55 PEPMNews
     52 WebIndex
     29 EugenioMoggi
      5 RobertGlueck
      2 EelcoVisser
    Feb 2005 2975 7 0 1164 WebHome
    364 CallForPapers
    140 ImportantDates
    137 ConferenceOrganization
     95 CallForWorkshops?
     84 CallForDemonstrations?
     72 CallForTutorials?
     50 PEPMNews
     39 WebNews
     39 WebChanges
     38 WebNotify
      7 EugenioMoggi
    Jan 2005 2719 19 0 1375 WebHome
    211 CallForPapers
    169 ConferenceOrganization
    135 ImportantDates
     98 CallForWorkshops?
     74 CallForTutorials?
     59 PEPMNews
     45 WebIndex
     42 WebChanges
     35 WebNews
     30 CallForDemonstrations?
     12 EugenioMoggi
      7 EelcoVisser
    Dec 2004 1546 68 0 707 WebHome
    125 ImportantDates
     92 ConferenceOrganization
     67 ConferenceVenue?
     60 CallForWorkshops?
     37 WebIndex
     36 CallForTutorials?
     34 WebPreferences
     33 WebNews
     32 PEPMNews
     25 WebChanges
     43 EugenioMoggi
     13 JeffGray
     10 EelcoVisser
      2 MartinBravenboer
    Nov 2004 836 18 0 407 WebHome
     77 ImportantDates
     66 ConferenceOrganization
     38 ConferenceVenue?
     31 PEPMNews
     28 CallForPapers
     25 WebNews
     20 ForOrganizers?
     19 WebIndex
      9 CallForWorkshops?
      8 ElectronicSubmission
     11 EelcoVisser
      7 EugenioMoggi
    Oct 2004 400 30 0 206 WebHome
     50 ConferenceOrganization
     38 ImportantDates
     27 ConferenceVenue?
     17 ConferenceHeader
     14 WebIndex
     11 WebContents?
      5 PrintCall
      4 WebNews
      4 CallForPapers
      2 GpceTutorials?
     27 EugenioMoggi
      2 MoggiE
      1 RobertGlueck

    Notes:

    • Do not edit this topic, it is updated automatically. (You can also force an update)
    • TWikiDocumentation tells you how to enable the automatic updates of the statistics.
    • Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.
    Finding topics

    Tracking activity

    Look and feel

    • WebPreferences: values of variables
    • WebContents?: web specific entries in the side bar
    Please see the ETAPS 2012 page for more information.

    Number of topics: 56